Domain Dependence in Parallel Constraint Satisfaction
نویسندگان
چکیده
We describe a general technique for expressing domain knowledge in constraint satisfaction problems, and using it to develop optimized parallel arc consistency algorithms for the solution of problems in the domain. The technique is applied to reduce the space complexity of the the massively parallel AC Chip algorithm. Results of the optimizations are shown for an object recognition domain in which they reduce the complexity of the chip by many orders of magnitude. The technique can be applied analogously to reduce the time complexity of the uniprocessor arc consistency algorithm AC-4.
منابع مشابه
Heuristic Search For Distributed Constraint Satisfaction Problems
A large number of problems in AI and other areas of computer science can be viewed as special cases of the constraint satisfaction problem (CSP). Various distributed and parallel computing approaches have been used to solve these problems. Mainly, these approaches can be classiied as variable-based, domain-based, and function-based distributed problem solving strategies. In this paper, some heu...
متن کاملDomain Decomposition for Parallel Resolution of Constraint Satisfaction Problems with OpenMP
Many problems in computer science, especially in Artificial Intelligence, can be represented as constraint satisfaction problems (CSP). For example, scene labeling in computer vision involves testing possible interpretation of objects against relation rules. Other constraint satisfaction problems include theorem proving, scheduling, expert systems. These problems are typically NP-Complete becau...
متن کاملDependence Logic vs. Constraint Satisfaction
During the past decade, dependence logic has emerged as a formalism suitable for expressing and analyzing notions of dependence and independence that arise in different scientific areas. The sentences of dependence logic have the same expressive power as those of existential second-order logic, hence dependence logic captures NP on the class of all finite structures. In this paper, we identify ...
متن کاملB . Hnich and K . Stergiou
In this paper, we investigate a method to decompose the search space explored by a Constraint Programming algorithm to allow a parallel solution of a Constraint Satisfaction or Optimization Problem (CSP or COP). The static tree decomposition used is based on domain partitioning according to a value ordering heuristic and a discrepancybased search strategy. This work is a parallel adaptation of ...
متن کاملCompilation of Constraint Systems to Procedural Parallel Programs
This paper describes the rst results from research 1 on the compilation of constraint systems into task level parallel programs in a procedural language. This is the only research, of which we are aware, which attempts to generate eecient parallel programs for numerical computations from constraint systems. Computations are expressed as constraint systems. A dependence graph is derived from the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1989